Banach空间中严格拟伪压缩映像族公共不动点的迭代算法

根据Banach空间中严格拟伪压缩映像不动点的迭代格式,将其扩充到无穷多个严格拟伪压缩映像族公共不动点的迭代算法,证明其强收敛定理,扩展了已知的相关结果．     

Hilbert空间中无穷多个Lipschitz单调映像变分不等式解的逼近定理

首先给出了Hilbert空间中无穷多个Lipschitz单调映像变分不等式解的迭代格式,并证明了其收敛性。作为应用,证明了Hilbert空间中Lipschitz伪压缩映像的强收敛定理,扩展了已知的相关结果。     

Hilbert空间中Lipschitz伪压缩映像不动点的杂交投影算法

在H ilbert空间中,采用杂交投影的方法设计了一种Lipschitz伪压缩映像不动点新的迭代格式,并利用H ilbert空间中特有的性质,证明了由此算法产生的序列强收敛于Lipschitz伪压缩映像不动点。     

复杂体系的结构分析和建模研究

根据复杂体系的概念及其所呈现出的多种特性,利用复杂体系的使命分解和复杂体系的元素组成对复杂体系进行综合的结构分析,描述了目标分解、功能分解和行为分解的复杂体系使命目标三阶段分解过程以及系统单元、复合元和体系外部环境的复杂体系三元素结构框架。在此基础上,提出了采用一种“两层四级”的设计思想对复杂体系进行有效的结构建模设计,并针对复杂体系内部的相互位置层次及其功能关联定义了度量实体、层级映射、系统关联性和软构层等相关概念,清晰地阐释了复杂体系结构分析和建模时体系层次映射的实质,从而为复杂体系的效能评估以及体系改进和优化提供一定的理论指导。     

水面舰艇防空作战能力的需求生成方法

为了更好地量化表达水面舰艇所具备的防空作战能力,提出了一种基于元活动的能力需求生成方法。建立了能力需求生成框架,在此框架下进行元活动库的提取,能力指标的分解,元活动-能力指标映射规则的分析得到中近程拦截能力的能力指标并进行了冲突消解,验证了所提方法的有效性。     

关于强增生算子的有限族的强收敛定理

提出了Banach空间中非线性增生算子方程带误差的三重迭程式, 研究了多个非线性增生算子解与多个强伪压缩映象的公共不动点逼近问题, 获得 2个收敛定理。     

基于NI-cDAQ自动测试火控系统电源组件

分析了某型飞机火控系统原电源部件检测设备的主要检测思路,列举了该检测设备的特点,并针对其存在的问题:体积庞大、测试耗时长,检修不方便等,提出了一种自动测试设备框架,系统地介绍了新框架的硬件组成及软件实现方法。硬件方面主要选用可靠性高的军品级产品:pc104,NI-c DAQ;软件方面采用流行的图形化编程工具Labview2010。根据该实例,给出了现代检测设备设计的新的实现方法和思路,实现了全新的火控系统装备维修保障模式。对于其他同类型的检测设备的研制,具有借鉴意义。     

基于TVD思想的高阶迎风紧致格式

紧致格式具有模板紧凑、精度高的特点,然而直接应用该格式捕捉激波会产生虚假振荡。解决该问题有多种思路,本文着重研究基于TVD思想的紧致方法。首先推导了两种5阶迎风紧致格式,并采用Fourier分析比较其耗散与色散特性。然后,采用保单调保精度方法和限制器两种不同的TVD方法,进行算例验证。计算结果表明,应用TVD方法后,格式对激波、接触间断分辨率好且鲁棒性增强,但不同的TVD方法仍存在精度降低、耗散不足等问题。     

某岸舰导弹作战指挥模拟系统的设计

针对岸舰导弹作战指挥训练设计的模拟系统,运用直接模拟的方法构建系统框架,给出了作战指挥、发射过程和飞行弹道模拟的方法,分析了矢量海图的制作和嵌入技术,运用墨卡托制图原理和导弹射击理论建立了射击计算数学模型,运用GDI+绘图和数据库技术实现了战斗现场保存回放功能.     

基于转移费用矩阵的机器人路径规划方法

本文描述了机器人路径规划的一种新方法：基于转移费用矩阵的机器人路径规划方法。通过定义转移费用矩阵的概念及其上的二元运算,将最优路径的生成,转化为矩阵的运算,使得有限步的矩阵运算,即可得到环境中所有点间的最优路径,达到了在预处理阶段构造最优路径集的目的。最后,介绍了该方法在移动机器人任务规划中的应用